Multi-valued Verification of Strategic Ability
نویسندگان
چکیده
منابع مشابه
Multi-Valued Verification of Strategic Ability
Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distributed databases, and verification methods that use incomplete anytime algorithms, such as bounded model checking. In this paper, we present multiv...
متن کاملStrategic manipulations of multi-valued solutions in economies with indivisibilities
We study manipulability of multi-valued solutions in fair allocation of homogeneous indivisible objects with monetary transfers. We show that the no-envy solution satis es some extension of strategy-proofness to multi-valued solutions. Since no-envy implies Pareto e¢ ciency in this literature, this result implies that we can escape many impossibility results on strategy-proofness by allowing a ...
متن کاملEndpoints of multi-valued cyclic contraction mappings
Endpoint results are presented for multi-valued cyclic contraction mappings on complete metric spaces (X, d). Our results extend previous results given by Nadler (1969), Daffer-Kaneko (1995), Harandi (2010), Moradi and Kojasteh (2012) and Karapinar (2011).
متن کاملKnowledge as Strategic Ability
The ultimate goal of our research is to develop techniques for model checking knowledge properties of multi-agent systems. ATEL, an extension of the Alternating-time Temporal Logic of Alur et al, is a logic for specifying epistemic and strategic properties of such systems. We present a technique for reducing the ATEL model checking problem to one of model checking in ATL, whereby epistemic rela...
متن کاملComparing Variants of Strategic Ability
In this paper, we show that different semantics of ability give rise to different validity sets. The issue is important for several reasons. First, many logicians identify a logic with its set of true sentences. As a consequence, we prove that different notions of ability induce different logics in the traditional sense. Secondly, the study can be seen as the first systematic step towards satis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 2020
ISSN: 0169-2968,1875-8681
DOI: 10.3233/fi-2020-1955